modal operators meaning in English
模态运算符
Examples
- These modal operators are usually available in temporal logic
通常，下列模态操作符可用于时态逻辑： - A blended transform domain watermarking based on multi - value sequence modal operator
基于多值序列模运算的混合变换域水印 - Temporal logic employs three or four , depending on the model common modal operators
时态逻辑使用三个（或四个，取决于模型）常见的模态操作符。 - Various modal operators can then be applied to these atomic assertions to generate more complex assertions
于是，各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。 - In fact , the syntax of temporal rover assertions is the same syntax i ve used in the examples above , where assertions taken by the modal operators are surrounded with braces
实际上， temporal rover断言的语法与我在上面示例中使用的语法相同，其中，模态操作符采用的断言用花括号括起。